計算可能性論理 (CoL)
computability logic
Computability logic - Wikipedia
Giorgi Japaridze “Introduction to computability logic” 2003
Survey of Computability Logic
計算可能ロジックの調査
意味論
game 意味論 (GTS)
證明論
Cirquent calculus - Wikipedia
線形論理
の擴張に成ってゐる。證明網の擴張か?